Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
1: Background : mathematical structures / S. Abramsky, Dov M. Gabbay, T. S. E. Maibaum editors ; volume co-ordinator Dov M. Gabbay
| 1: Background : mathematical structures / S. Abramsky, Dov M. Gabbay, T. S. E. Maibaum editors ; volume co-ordinator Dov M. Gabbay |
| Pubbl/distr/stampa | Oxford, : Clarendon, 1992 |
| Descrizione fisica | XII, 827 p. ; 24 cm. |
| Soggetto topico |
68-XX - Computer science [MSC 2020]
03Bxx - General logic [MSC 2020] |
| ISBN | 01-985373-5-2 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-SUN0050957 |
| Oxford, : Clarendon, 1992 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
1: Background : mathematical structures / S. Abramsky, Dov M. Gabbay, T. S. E. Maibaum editors ; volume co-ordinator Dov M. Gabbay
| 1: Background : mathematical structures / S. Abramsky, Dov M. Gabbay, T. S. E. Maibaum editors ; volume co-ordinator Dov M. Gabbay |
| Pubbl/distr/stampa | Oxford, : Clarendon, 1992 |
| Descrizione fisica | XII, 827 p. ; 24 cm |
| Soggetto topico |
68-XX - Computer science [MSC 2020]
03Bxx - General logic [MSC 2020] |
| ISBN | 01-985373-5-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN0050957 |
| Oxford, : Clarendon, 1992 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Dependence logic : theory and applications / Samson Abramsky ... [et al.] editors
| Dependence logic : theory and applications / Samson Abramsky ... [et al.] editors |
| Pubbl/distr/stampa | [Cham], : Birkhäuser, : Springer, 2016 |
| Descrizione fisica | XIV, 276 p. : ill. ; 24 cm |
| Soggetto topico |
03C80 - Logic with extra quantifiers and operators [MSC 2020]
03B16 - Higher-order logic [MSC 2020] 03B70 - Logic in computer science [MSC 2020] 03B38 - Type theory [MSC 2020] |
| Soggetto non controllato |
Dependence Atoms
Dependence Logic Dependencies in Databases Independence Logic Inquisitive Logic Social Choice Theorem Theory of Secret-Sharing |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN0114602 |
| [Cham], : Birkhäuser, : Springer, 2016 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Dependence logic : theory and applications / Samson Abramsky ... [et al.] editors
| Dependence logic : theory and applications / Samson Abramsky ... [et al.] editors |
| Edizione | [[Cham] : Birkhäuser : Springer, 2016] |
| Pubbl/distr/stampa | XIV, 276 p., : ill. ; 24 cm |
| Descrizione fisica | Pubblicazione in formato elettronico |
| Soggetto topico |
03C80 - Logic with extra quantifiers and operators [MSC 2020]
03B16 - Higher-order logic [MSC 2020] 03B70 - Logic in computer science [MSC 2020] 03B38 - Type theory [MSC 2020] |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-SUN0114602 |
| XIV, 276 p., : ill. ; 24 cm | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Handbook of logic in computer science / edited by S. Abramsky, Dov M. Gabbay and T. S. E. Maibaum
| Handbook of logic in computer science / edited by S. Abramsky, Dov M. Gabbay and T. S. E. Maibaum |
| Pubbl/distr/stampa | Oxford : Clarendon, 1992- |
| Descrizione fisica | v. ; 24 cm. |
| ISBN | 01-985373-5-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-SUN0050956 |
| Oxford : Clarendon, 1992- | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Handbook of logic in computer science / edited by S. Abramsky, Dov M. Gabbay and T. S. E. Maibaum
| Handbook of logic in computer science / edited by S. Abramsky, Dov M. Gabbay and T. S. E. Maibaum |
| Pubbl/distr/stampa | Oxford, : Clarendon, 1992- |
| Descrizione fisica | v. ; 24 cm. |
| ISBN | 01-985373-5-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN0050956 |
| Oxford, : Clarendon, 1992- | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Mathematical foundations of information flow : Clifford Lectures Information Flow in Physics, Geometry, and Logic and Computation, March 12-15, 2008, Tulane University, New Orleans, Louisiana / Samson Abramsky, Michael Mislove, editors
| Mathematical foundations of information flow : Clifford Lectures Information Flow in Physics, Geometry, and Logic and Computation, March 12-15, 2008, Tulane University, New Orleans, Louisiana / Samson Abramsky, Michael Mislove, editors |
| Pubbl/distr/stampa | Providence : American Mathematical Society, 2012 |
| Descrizione fisica | XI, 267 p. ; 26 cm |
| Disciplina | 512'.62 |
| Collana | Proceedings of symposia in applied mathematics |
| Soggetto non controllato |
Atti di conferenze di interesse specifico vario
Category theory - Abstract homological algebra - Atti di conferenze Gruppi topologici - Gruppi di Lie - Atti di conferenze |
| ISBN | 978-0-8218-4923-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990009636740403321 |
| Providence : American Mathematical Society, 2012 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||